Chemical Networking Protocols

Beyond the mere collection of computers, a network is the home of competing and cooperating execution flows. In this paper we show how to design network protocols based on molecule-like entities such that the corresponding execution flows can by analyzed as if they were chemical processes. Our goal is to create robust protocol implementations which are resilient to unreliable execution. We introduce the metaphor of chemical networking protocols, demonstrate its benefits by a formal stability analysis of a gossip-style protocol and present a first example of a self-healing load balancing protocol that is resilient to code removal attacks.